body {
  color: white;
  background-color: black;
  font-family: 'ubuntu';
  font-size: 11px;
  font-weight: normal;
  line-height: 1em;
  margin: 10px;
}

table, td, th {
  border-spacing: 0px;
  border-collapse: collapse;
  border-style: solid;
  border-width: 1px;
  white-space: nowrap;
}

div.box {
  border-style: solid;
  border-width: 1px;
}

#editor {
  margin: 5px;
  height: 150px;
}

#input_div {
  border-style: solid;
  border-width: 1px;
  border-color: #88F;
  margin-bottom: 2px;
}

textarea.textarea {
  background-color: black;
  border-style: none;
  color: white;

  font-family: 'ubuntu mono';
  font-size: 10px;
  font-weight: normal;
  line-height: 1em;
}

#input_textarea {
  width: 99.5%;
  background-color: black;
  border-style: none;
  color: white;
}

#output_div {
  border-color: #BBB;
  margin-top: 2px;
}

#debug_div {
  border-color: #FBB;
  position: fixed;
  top: 80%;
  height: 20%;
  width: 99%;
}

hr {
  margin: 0px;
  border-style: solid;
  border-width: 0px;
  border-top-width: 1px;
  border-color: #BBB;
}

div.node {
  border-style: solid;
  border-width: 1px;
  border-color: #AAA;
  margin-left: 10px;
  display: inline-block;
}
